Knowledge Representation in CGLF, CGIF, KIF, Frame-CG and Formalized-English
نویسنده
چکیده
This article shows how CGLF, CGIF, KIF, Formalized-English and Frame-CG can be used in a panorama of knowledge representation cases. It highlights various inadequacies of CGLF and CGIF, advantages provided by high-level expressive notations, and the KIF translations provide a logical interpretation. Knowledge providers may see this document as a guide for knowledge representation. Developers may see it as a list of cases to take into account for their notations and inferences engines.
منابع مشابه
Knowledge representation in RDF/XML, KIF, Frame-CG and Formalized-English
This article shows how RDF/XML, KIF, Frame-CG (FCG) and Formalized-English (FE) can be used in a panorama of knowledge representation cases. It highlights various inadequacies of RDF/XML, advantages provided by high-level expressive notations (FCG and FE), and the KIF translations provide a logical interpretation for the other notations. Knowledge providers may see this document as a guide for ...
متن کاملConventions and Notations for Knowledge Representation and Retrieval
Much research has focused on the problem of knowledge accessibility, sharing and reuse. Specific languages (e.g. KIF, CG, RDF) and ontologies have been proposed. Common characteristics, conventions or ontological distinctions are beginning to emerge. Since knowledge providers (humans and software agents) must follow common conventions for the knowledge to be widely accessed and re-used, we prop...
متن کاملStandard CGIF interoperability in Amine
The adoption of standard CGIF by CG tools will enable interoperability between them to be achieved, and in turn lead to the interoperability between CG tools and other tools. The integration of ISO Common Logic’s standard CGIF notation in the Amine platform is presented. It also describes the first steps towards full interoperability between the Amine CG tool (through its Synergy component) and...
متن کاملData Models for Conceptual Structures
A well-founded data model for Conceptual Structures can help in understanding issues of definitional semantics, efficient implementations and even syntax of proposed languages. This paper presents several useful data models of increasing complexity and applicability that can support Conceptual Structures definitional semantics. The models are presented in Haskell, a non-strict, stronglytyped fu...
متن کاملThe KIF of Death Matthew
There has been a good deal of discussion recently about the possibility of standardizing knowledge representation eeorts, including the development of an interlingua, or kif (knowledge interchange format) that would allow developers of declarative knowledge to share their results with other AI researchers. In this paper, we examine the practicality of this idea. We present some philosophical ar...
متن کامل